Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
721	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
722	Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 14:22:05 Model theory Quantification Predicate logic Semantics First-order logic Second-order logic Interpretation Non-standard model of arithmetic Nonfirstorderizability Mathematical logic Logic Mathematics
723	A semantic model of computation for natural system modelling Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 19:01:36 Semantic Web Information science Data Technical communication Knowledge representation Web Ontology Language Description logic Workflow Knowledge representation and reasoning Information Ontology Science
724	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Interpretation Philosophy of mind Semantics Primitive recursive function Function First-order logic Mathematical logic Mathematics Logic
725	PRELIMINARY EXAMINATION GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE For the following questions we fix a standard enumeration h ϕe : e ∈ ω i of the partial recursive functions with the corresponding enumeration hWe Add to Reading List Source URL: logic.berkeley.edu Language: English Theory of computation Recursively enumerable set Enumeration Model theory Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
726	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
727	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
728	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics
729	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
730	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Time, space, and precision: Revisiting classic problems in computational geometry with degree-driven analysis Jack Snoeyink∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-08-04 14:37:40 Analysis of algorithms Computational complexity theory Computer arithmetic Algorithm Mathematical logic Floating point Computational geometry Time complexity Model of computation Theoretical computer science Applied mathematics Computer science

UPDATE